how is minecraft coded